Optimal. Leaf size=208 \[ -\frac{35 c^{3/2} d^{3/2} e^2 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d} \sqrt{d+e x}}{\sqrt{c d^2-a e^2}}\right )}{4 \left (c d^2-a e^2\right )^{9/2}}+\frac{35 c d e^2}{4 \sqrt{d+e x} \left (c d^2-a e^2\right )^4}+\frac{35 e^2}{12 (d+e x)^{3/2} \left (c d^2-a e^2\right )^3}+\frac{7 e}{4 (d+e x)^{3/2} \left (c d^2-a e^2\right )^2 (a e+c d x)}-\frac{1}{2 (d+e x)^{3/2} \left (c d^2-a e^2\right ) (a e+c d x)^2} \]
[Out]
_______________________________________________________________________________________
Rubi [A] time = 0.378809, antiderivative size = 208, normalized size of antiderivative = 1., number of steps used = 7, number of rules used = 5, integrand size = 37, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.135 \[ -\frac{35 c^{3/2} d^{3/2} e^2 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d} \sqrt{d+e x}}{\sqrt{c d^2-a e^2}}\right )}{4 \left (c d^2-a e^2\right )^{9/2}}+\frac{35 c d e^2}{4 \sqrt{d+e x} \left (c d^2-a e^2\right )^4}+\frac{35 e^2}{12 (d+e x)^{3/2} \left (c d^2-a e^2\right )^3}+\frac{7 e}{4 (d+e x)^{3/2} \left (c d^2-a e^2\right )^2 (a e+c d x)}-\frac{1}{2 (d+e x)^{3/2} \left (c d^2-a e^2\right ) (a e+c d x)^2} \]
Antiderivative was successfully verified.
[In] Int[Sqrt[d + e*x]/(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^2)^3,x]
[Out]
_______________________________________________________________________________________
Rubi in Sympy [A] time = 80.3444, size = 187, normalized size = 0.9 \[ \frac{35 c^{\frac{3}{2}} d^{\frac{3}{2}} e^{2} \operatorname{atan}{\left (\frac{\sqrt{c} \sqrt{d} \sqrt{d + e x}}{\sqrt{a e^{2} - c d^{2}}} \right )}}{4 \left (a e^{2} - c d^{2}\right )^{\frac{9}{2}}} + \frac{35 c d e^{2}}{4 \sqrt{d + e x} \left (a e^{2} - c d^{2}\right )^{4}} - \frac{35 e^{2}}{12 \left (d + e x\right )^{\frac{3}{2}} \left (a e^{2} - c d^{2}\right )^{3}} + \frac{7 e}{4 \left (d + e x\right )^{\frac{3}{2}} \left (a e + c d x\right ) \left (a e^{2} - c d^{2}\right )^{2}} + \frac{1}{2 \left (d + e x\right )^{\frac{3}{2}} \left (a e + c d x\right )^{2} \left (a e^{2} - c d^{2}\right )} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] rubi_integrate((e*x+d)**(1/2)/(a*d*e+(a*e**2+c*d**2)*x+c*d*e*x**2)**3,x)
[Out]
_______________________________________________________________________________________
Mathematica [A] time = 0.459227, size = 202, normalized size = 0.97 \[ \frac{-8 a^3 e^6+8 a^2 c d e^4 (10 d+7 e x)+a c^2 d^2 e^2 \left (39 d^2+238 d e x+175 e^2 x^2\right )+c^3 d^3 \left (-6 d^3+21 d^2 e x+140 d e^2 x^2+105 e^3 x^3\right )}{12 (d+e x)^{3/2} \left (c d^2-a e^2\right )^4 (a e+c d x)^2}-\frac{35 c^{3/2} d^{3/2} e^2 \tanh ^{-1}\left (\frac{\sqrt{c} \sqrt{d} \sqrt{d+e x}}{\sqrt{c d^2-a e^2}}\right )}{4 \left (c d^2-a e^2\right )^{9/2}} \]
Antiderivative was successfully verified.
[In] Integrate[Sqrt[d + e*x]/(a*d*e + (c*d^2 + a*e^2)*x + c*d*e*x^2)^3,x]
[Out]
_______________________________________________________________________________________
Maple [A] time = 0.033, size = 262, normalized size = 1.3 \[ -{\frac{2\,{e}^{2}}{3\, \left ( a{e}^{2}-c{d}^{2} \right ) ^{3}} \left ( ex+d \right ) ^{-{\frac{3}{2}}}}+6\,{\frac{{e}^{2}cd}{ \left ( a{e}^{2}-c{d}^{2} \right ) ^{4}\sqrt{ex+d}}}+{\frac{11\,{d}^{3}{e}^{2}{c}^{3}}{4\, \left ( a{e}^{2}-c{d}^{2} \right ) ^{4} \left ( cdex+a{e}^{2} \right ) ^{2}} \left ( ex+d \right ) ^{{\frac{3}{2}}}}+{\frac{13\,{d}^{2}{e}^{4}{c}^{2}a}{4\, \left ( a{e}^{2}-c{d}^{2} \right ) ^{4} \left ( cdex+a{e}^{2} \right ) ^{2}}\sqrt{ex+d}}-{\frac{13\,{d}^{4}{e}^{2}{c}^{3}}{4\, \left ( a{e}^{2}-c{d}^{2} \right ) ^{4} \left ( cdex+a{e}^{2} \right ) ^{2}}\sqrt{ex+d}}+{\frac{35\,{e}^{2}{c}^{2}{d}^{2}}{4\, \left ( a{e}^{2}-c{d}^{2} \right ) ^{4}}\arctan \left ({cd\sqrt{ex+d}{\frac{1}{\sqrt{ \left ( a{e}^{2}-c{d}^{2} \right ) cd}}}} \right ){\frac{1}{\sqrt{ \left ( a{e}^{2}-c{d}^{2} \right ) cd}}}} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] int((e*x+d)^(1/2)/(a*e*d+(a*e^2+c*d^2)*x+c*d*e*x^2)^3,x)
[Out]
_______________________________________________________________________________________
Maxima [F] time = 0., size = 0, normalized size = 0. \[ \text{Exception raised: ValueError} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(e*x + d)/(c*d*e*x^2 + a*d*e + (c*d^2 + a*e^2)*x)^3,x, algorithm="maxima")
[Out]
_______________________________________________________________________________________
Fricas [A] time = 0.246983, size = 1, normalized size = 0. \[ \text{result too large to display} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(e*x + d)/(c*d*e*x^2 + a*d*e + (c*d^2 + a*e^2)*x)^3,x, algorithm="fricas")
[Out]
_______________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate((e*x+d)**(1/2)/(a*d*e+(a*e**2+c*d**2)*x+c*d*e*x**2)**3,x)
[Out]
_______________________________________________________________________________________
GIAC/XCAS [F(-1)] time = 0., size = 0, normalized size = 0. \[ \text{Timed out} \]
Verification of antiderivative is not currently implemented for this CAS.
[In] integrate(sqrt(e*x + d)/(c*d*e*x^2 + a*d*e + (c*d^2 + a*e^2)*x)^3,x, algorithm="giac")
[Out]